From: Stephane Glondu <steph@glondu.net>
Date: Mon, 10 Aug 2015 09:24:17 +0000 (+0200)
Subject: Update ABI
X-Git-Tag: archive/raspbian/4.08.1-4+rpi1~3^2~139
X-Git-Url: https://dgit.raspbian.org/%22http:/www.example.com/%22mailto:kde%40ewsoftware.de/%22style.css//%22node%24level1.%24level2.html/%22/%22http:/www.example.com/%22mailto:kde%40ewsoftware.de/%22style.css/%22node%24level1.%24level2.html/%22?a=commitdiff_plain;h=f549212c75ff838c5140169501010849b560a179;p=ocaml.git

Update ABI
---

diff --git a/debian/rules b/debian/rules
index e565f508..095e1921 100755
--- a/debian/rules
+++ b/debian/rules
@@ -3,7 +3,7 @@
 PACKAGE := ocaml
 ALL_PACKAGES := $(shell dh_listpackages)
 OCAMLMAJOR := 4.02
-OCAMLMINOR := 2
+OCAMLMINOR := 3
 
 # Build cache (for Debian debugging)
 BUILDCACHE := $(wildcard ../ocaml.cache)